1. A hierarchy of Turing degrees :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Unsolvability (Mathematical logic) ; Computable functions. ; Recursively enumerable sets. ;
2. A programming approach to computability
پدیدآورنده : / A. J. Kfoury, Robert N. Moll, Michael A. Arbib
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Computable functions,Programming (Electronic computers)
رده :
QA9
.
59
.
K46
3. A programming approach to computability
پدیدآورنده : Kfoury, A. J.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computable functions,، Computer programming
رده :
QA
9
.
59
.
K46
1982
4. Algebraic computability and enumeration models : recursion theory and descriptive complexity
پدیدآورنده : Nourani, Cyrus F.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Functor theory,، Model theory,، Computable functions,، Algebra, Homological,، Kleene algebra
رده :
QA
169
.
N68A4
5. Algorithmic randomness and complexit
پدیدآورنده : Rod Downey, Denis Hirschfeldt
موضوع : Computational complexity,Computable functions
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
6. Algorithmic randomness and complexity
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computational complexity. ; Computable functions. ;
7. Algorithmic randomness and complexity
پدیدآورنده : Downey, R. G. )Rod G.(
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Computational complexity,، Computable functions
رده :
QA
267
.
7
.
D69
2010
8. Algorithmic randomness and complexity
پدیدآورنده : / Rodney G. Downey, Denis R. Hirschfeldt
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Computational complexity,Computable functions
رده :
E-BOOK
9. An introduction to computable Languages and abstract machines
پدیدآورنده : Parkes, Alan
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Computable functions , Formal Languages , Machine Theory
رده :
QA
267
.
3
.
P37
10. An invitation to applied category theory :
پدیدآورنده : Brendan Fong, David I. Spivak.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.,Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.
رده :
QA9
.
25
.
F66
2019
11. An invitation to applied category theory :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Categories (Mathematics) ; Computable functions. ; Logic, Symbolic and mathematical. ; Mathematical analysis. ;
12. Applying computational intelligence: <how to creat value>
پدیدآورنده : / Arthur Kordon
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Computational intelligence,Computable functions,Soft computing,Mathematical optimization,Artificial intelligence
رده :
006
.
3
K84A
2009
13. Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit; Einfuhrung in die Theorie der rekursiven Funktionen
پدیدآورنده : Hermes, Hans.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Recursive functions,، Algorithms,، Godel's theorem,، Computable functions
رده :
QA
248
.
5
.
H4
1971
14. Automata
پدیدآورنده : Hopkin, David.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Machine theory,، Turing machines,، Computable functions
رده :
QA
267
.
H57
15. Automata and computability /
پدیدآورنده : Dexter C. Kozen.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computable functions.,Machine theory.,Abstracte automaten.,Automatentheorie.,Automates mathématiques, Théorie des.,Berechenbarkeit,Berekenbaarheid.,Complexité de calcul (informatique),Computable functions.,Endlicher Automat,Fundamentele informatica.,Kellerautomat,Kontextfreie Grammatik,Machine theory.,Machines séquentielles, Théorie des.,Reguläre Menge,Turing, Machines de.,Turing-Maschine
رده :
QA267
.
K69
1997eb
16. Automata, computability and complexity :
پدیدآورنده : Elaine Rich.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computable functions.,Computational complexity.,Electronic data processing.,Machine theory.,Computable functions.,Computational complexity.,Electronic data processing.,Machine theory.
رده :
QA267
.
R53
2008
17. Berechenbarkeit, Komplexität, Logik :
پدیدآورنده : Egon Börger.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computable functions.,Computational complexity.,Logic, Symbolic and mathematical.
رده :
QA9
.
56
E366
1992
18. Beyond the horizon of computability :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computable functions ;
19. Compability theory, Semantics, and logic programming
پدیدآورنده : Melvin C. Fitting
کتابخانه: Central Library of Campus 1 Technical University of Tehran (Tehran)
موضوع : Computable functions,Data structures (computer science)
رده :
QA
9
.
59
.
F58
1986
